maximal worlds
↑名称不明
GPT-4.icon
に聞いたら、「classical worlds」「maximal worlds」「complete worlds」とかちゃう？と言われた
自分自身にしか到達できない世界
$ w_f
を考える
こういった世界では、
直観主義論理の→
と
古典論理
の含意は一致する
そのため、排中律も二重否定除去も成り立つ
/mrsekut-book-4007305803/145
この書籍内では「終末の世界」とか呼んでた